منابع مشابه
Refinement-Preserving Co-evolution
Software changes during its lifetime. Likewise, specifications change during their design time, e.g. by removing, adding or changing operations. In a refinement-based approach to software design, we moreover do not deal with a single but with a chain of specifications, related via refinement. Changes thus need to be consistently made to all specifications in the chain so as to keep the refineme...
متن کاملThe evolution and refinement of vasoepididymostomy techniques.
Obstructive azoospermia secondary to epididymal obstruction can be corrected by microsurgical reconstruction with vasoepididymostomy (VE). Although alternative management such as epididymal or testicular sperm aspiration in conjunction with intracytoplasmic sperm injection is feasible, various studies have established the superior cost-effectiveness of VE as a treatment of choice. Microsurgical...
متن کاملModel building, refinement and validation
The CCP4 Study Weekend 2011 was held at the University of Warwick on the 6–7 January. Following a long established tradition of discussing at the Study Weekend the most important crystallographic topics, the choice for 2011 was the 'Model building, refinement and validation' triple bill. As a result of the extraordinary efforts of instrumentation and software developers, macromolecular crystall...
متن کاملDeriving Performance Requirements and Test Cases with the Performance Refinement and Evolution Model (PREM)
Performance is one important attribute of a software system. To develop a software system of acceptable performance, the team needs to specify precise performance requirements, design appropriate test cases, and use appropriate techniques to analyze the performance characteristics. However, the lack of a management framework for performance engineering may impair the effectiveness of the techni...
متن کاملModel-checking agent refinement
We present a proof-technique for reducing the nondeterminism of abstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent specifications in rewrite systems such that we can automatically check if refinement between (fair) executions of agents holds.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2012
ISSN: 0167-6423
DOI: 10.1016/j.scico.2011.04.007